Философский энциклопедический словарь - гильберт давид (1862—1943)
Связанные словари
Гильберт давид (1862—1943)
гильберт давид (1862—1943)
— нем. математик и логик, основатель Геттингенской математической школы. Осн. работы Г. относятся к теории алгебраических инвариантов, теории алгебраических чисел, к основаниям математики и математической логики. В работе “Основания геометрии” (1899) Г. строго аксиоматически построил геометрию Евклида, что в значительной степени предопределило дальнейшее развитие исследований по аксиоматизации научного знания (Аксиоматический метод). Большое значение имеют работы Г. в области исчисления высказываний и исчисления предикатов. В начале 20 в. Г. сформулировал основы нового подхода к обоснованию математики, к-рый привел, с одной стороны, к появлению концепции формализма в основаниях математики, а с др.— к возникновению нового раздела математики — метаматематики (теории доказательств).
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2506 | |
2 | 2322 | |
3 | 1991 | |
4 | 1977 | |
5 | 1927 | |
6 | 1830 | |
7 | 1725 | |
8 | 1660 | |
9 | 1641 | |
10 | 1507 | |
11 | 1426 | |
12 | 1390 | |
13 | 1382 | |
14 | 1379 | |
15 | 1251 | |
16 | 1073 | |
17 | 1064 | |
18 | 1060 | |
19 | 1036 | |
20 | 964 |